<HTML><HEAD><TITLE>library(anti_unify)</TITLE></HEAD><BODY>
[ <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]<H1>library(anti_unify)</H1>
Computes the most specific generalization of two terms
<H2>Predicates</H2>
<BLOCKQUOTE>
<DL>
<DT><A HREF="anti_unify-3.html"><STRONG>anti_unify(Term1, Term2, General)</STRONG></A></DT>
<DD>Computes the most specific generalization of two terms in
    N*log(N) time, where N is the size of the smaller term.</DD>
</DL>
</BLOCKQUOTE>
<H2>About</H2><UL COMPACT>
<LI><STRONG>Author: </STRONG>Joachim Schimpf, ECRC Munich
<LI><STRONG>Copyright &copy; </STRONG>Cisco Systems, Inc
<LI><STRONG>Date: </STRONG>$Date: 2009/02/19 05:38:36 $
</UL>
<HR>Generated from anti_unify.eci on 2009-05-27 01:25
</BODY></HTML>
